DEFINITION MODULE MathLib1;  (* Math. library 1 *)
(* additional mathematical functions*)
(* M. Schneider  4. Juli 1983 *)

EXPORT QUALIFIED
  pot, log, arctan2, tan,
  random, setrandom, PI;

PROCEDURE pot ( x: REAL ): REAL;
PROCEDURE log ( x: REAL ): REAL;
PROCEDURE arctan2 ( x, y: REAL ): REAL;      (*  (-PI .. +PI]   *)
PROCEDURE tan ( x: REAL ): REAL;
PROCEDURE random(): REAL;
            (* range: 0.0 <= random < 1.0 *)
PROCEDURE setrandom( x0: REAL );
PROCEDURE PI(): REAL;

END MathLib1.

